https://manuallawnaerator.blogspot.com/2021/10/what-is-best-time-of-day-to-cut-grass.html?m=0